Equational logic

#	Item
21	Equational Problems and Disunification Add to Reading List Source URL: perso.ens-lyon.fr Language: English - Date: 2004-02-16 04:15:00 Probability theory Formal languages Automated theorem proving Logic programming Unification Mathematical logic Admissible rule Model theory Word problem Mathematics Theoretical computer science Logic
22	Algebraic Meta-Theories and Synthesis of Equational Logics Research Programme Marcelo Fiore Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2009-09-14 11:37:32 Dependently typed programming Type theory Grammar Algebraic structures Model theory Logical framework Universal algebra First-order logic Equational logic Mathematics Logic Mathematical logic